Feeds to Scour
SubscribedAll
Scoured 184847 posts in 9.9 ms
Show HN: Deterministic symbolic memory layer for grounding LLMs
github.com·18h·
Discuss: Hacker News
📏Linear Memory
The 185-Microsecond Type Hint
blog.sturdystatistics.com·5h·
Discuss: Lobsters, Hacker News, r/programming
⚡Interpreter Optimization
Qwen 3.5 9B, 4B models beating 30B, 80B models
huggingface.co·7h·
Discuss: Hacker News
🏁Language Benchmarks
goffi: Zero-CGO Foreign Function Interface for Go — How We Call C Libraries Without a C Compiler
dev.to·18h·
Discuss: DEV
🐹Go Internals
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🧮Theorem Provers
The RISC Concept - A Survey of Implementations
inf.fu-berlin.de·2d
🔧RISC-V
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·4h·
Discuss: Hacker News
🤐Zipper Structures
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·10h
📈Monotonic Logic
Show HN: Sabela – A Reactive Notebook for Haskell
datahaskell.org·22h·
Discuss: Lobsters, Hacker News
⚡functional programming
TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B
hackernoon.com·23m
🚀Tokenizer Performance
Implementing a clear room Z80 / ZX Spectrum emulator with Claude Code
blog.adafruit.com·10h
🤖Embedded Go
Agentic Engineering: Building Without Writing
dehora.net·6h
💬Interactive REPLs
extended C*-algebra in nLab
ncatlab.org·7h
🔗Category Theory
PEP 20 – The Zen of Python
peps.python.org·16h
💬Interactive REPLs
GPT-OSS on Day 0
research.perplexity.ai·5h
🗺️Region Inference
Plontank: An FPGA-based zk-SNARK acceleration system for secure computing
sciencedirect.com·23h
🔮CPU Branch Prediction
Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity
arxiv.org·22h
🧩SAT Solvers
Structured Outputs for LLMs
ternarysearch.blogspot.com·20h·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com·21h·
Discuss: Hacker News
🔢Algebraic Datatypes
LLVM 22.1 Released With Backend, LLDB, and ThinLTO Updates
linuxiac.com·16h
🏗️LLVM

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help